Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
671	NRL ReportExecuting Trace Specifications Using Prolog JOHN D. MCLEAN, DAVID M. WEISS, AND CARL E. LANDWEHR Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:04 Logic programming Prolog Logic in computer science Qi Append Horn clause Clause Visual Prolog B-Prolog Software engineering Computing Computer programming
672	Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan Add to Reading List Source URL: simons.berkeley.edu Language: English - Date: 2014-03-13 13:08:11 Mathematical optimization Applied mathematics Mathematics Logic in computer science Constraint programming NP-complete problems Theoretical computer science Operations research Tensor
673	facultad de inform´ atica universidad polit´ecnica de madrid CLIP Group Publications by Topic The CLIP Group Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2015-06-05 06:02:09 Formal sciences International Conference on Logic Programming CiteSeer Computer science Programming language Logic International Chinese Language Program Academia Science Knowledge
674	ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-02-02 17:07:10 Software bugs Logic in computer science Debugging Lock Race condition Thread Parallel computing Assertion Dynamic random-access memory Computing Computer programming Software engineering
675	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
676	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
677	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
678	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
679	Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:26:39 Computing Constraint satisfaction Local consistency Constraint logic programming Constraint optimization Mathematical optimization Search algorithm AC-3 Hybrid algorithm Constraint programming Software engineering Computer programming
680	Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:01 Computer programming Computing Constraint satisfaction Sokoban Common subexpression elimination Logic programming Constraint programming Software engineering Programming paradigms

UPDATE